Data type - PDFSEARCH.IO - Document Search Engine

Data type
Results: 6762

#	Item
281	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
282	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
283	KEK GRID CA Certificate and CRL Profile VerMay 30, 2016 Add to Reading List Source URL: gridca.kek.jp Language: English - Date: 2016-05-25 03:17:59 Internet Standards Internet protocols Cryptographic protocols Character encoding Public key infrastructure String Lightweight Directory Access Protocol Null Online Certificate Status Protocol Data type Hash function Value
284	Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Data types Procedural programming languages Type theory C Struct Type safety Pointer C++ classes Recursion ALGOL 68 Type system This
285	Contact: Program: http://www.camptocamp.com/en/category/geospatial-de/?type=formation Add to Reading List Source URL: www.camptocamp.com Language: English - Date: 2016-05-20 05:39:08 Web mapping Geographic information systems Geographic data and information PostGIS PostgreSQL GeoServer Geoportal MapServer QGIS Spatial database OpenLayers
286	Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation Christopher Meiklejohn Peter Van Roy Add to Reading List Source URL: christophermeiklejohn.com Language: English - Date: 2016-08-08 07:05:20 Network architecture Distributed computing Binary trees Conflict-free replicated data type Laboratory for Atmospheric and Space Physics Gossip protocol Communications protocol Rope
287	System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-06 17:30:04 Type theory Data types Functional programming Dependently typed programming Generalized algebraic data type Type class Valuation
288	SAFETY DATA SHEET according to WHMIS 2015 and ANSI Z400Organic Bonded Abrasives, Type 1 Material number 010 Revision date: Add to Reading List Source URL: www.pferdusa.com Language: English - Date: 2016-07-05 13:03:35 Occupational safety and health Fiberglass Particulates Silicon dioxide Occupational exposure limit Lead(II) chloride Graphite Asbestos
289	SciQL A Query Language for Science Applications M. Kersten, Y. Zhang, M. Ivanova, N. Nes CWI Amsterdam Add to Reading List Source URL: www.rasdaman.com Language: English - Date: 2011-04-05 13:22:16 Data types Array DBMS Rasdaman Array data type Null
290	1 Testing for Programmers Brian Marick www.testing.com Add to Reading List Source URL: www.exampler.com Language: English - Date: 2016-06-29 18:26:10 Software testing Extreme programming Control flow Eval Boolean data type Software bug Relational operator Unit testing

UPDATE